Formal hardware verification - methods and systems in comparison

Författare
(Thomas Kropf (ed.).)
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer cop. 1997 Tyskland, Berlin xii, 367 sidor. ill.